2481. The unix programming environment
پدیدآورنده : KERNIGHAN,BRIAN W
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : UNIX )COMPUTER FILE( , ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING
رده :
QA
76
.
6
.
K495
1984
2482. Theoretical aspects of object-oriented programming : types, semantics, and language design
پدیدآورنده : edited by Carl A. Gunter and John C. Mitchell
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Object-oriented programming )Computer science(,، Programming languages )Electronic computers(
رده :
QA
76
.
64
.
T4
2483. Theory and Problems of computer and Programming
پدیدآورنده : / Francis Scheid
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Programming (Electronic computer),Electronic computers
رده :
QA76
.
S3
1983
2484. Theory of program structures
پدیدآورنده : / By Sheila Greibach,Greibach
کتابخانه: Central Library and Documents Center of Tehran University (Tehran)
موضوع : Electronic digital computers -- Programming,Recursive programming,Computer programs
رده :
QA
76
.
6
.
G743
1975
2485. Theory of program structures:Schemes, Semantics, Verification
پدیدآورنده : Greinach, Sheila
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Programming ، Electronic digital computers,Recurlive programming,، Computer programs
رده :
QA
76
.
6
.
G743
1975
2486. Theory of program structures : schemes, semantics, verification
پدیدآورنده : Greibach, Sheila
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Electronic digital computers -- Programming,، Recursive programming,، Computer programs
رده :
QA
76
.
6
.
G743
1975
2487. Theory of program structures : schemes, semantics, verification
پدیدآورنده : Greibach, Sheila
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Programming,، Recursive programming,، Computer programs
رده :
QA
76
.
6
.
G743
1975
2488. Thinking in LINQ :
پدیدآورنده : Sudipta Mukherjee
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Programming languages (Electronic computers),Query languages (Computer science)
رده :
QA76
.
7
2489. Threaded interpretive languages: their desing and implementation
پدیدآورنده : Loeliger, R. G
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Programming languages )Electronic computers(,، Interpreters )Computer programs(
رده :
QA
76
.
7
.
L63
2490. Time-shared computer languages: an introduction to conversational computing
پدیدآورنده : Schur, Lee David
موضوع : ، Programming languages )Electronic computers(,، Time-sharing computer systems
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
2491. Towards a formal description of Ada
پدیدآورنده : edited by D. Bjorner and O.N. Oest
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Ada )Computer program language(,، Programming languages )Electronic computers( - Semantics
رده :
QA
76
.
L4
v
.
98
2492. Towards a formal description of Ada
پدیدآورنده : edited by D. Bjørner and O.N. Oest.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Ada (Computer program language),ADA.,Programming languages (Electronic computers) -- Semantics.
رده :
QA76
.
73
.
A35
E358
1980
2493. Transactions on pattern languages of programming II
پدیدآورنده : James Noble ... [et al.] (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Programming languages (Electronic computers),Software engineering,Software patterns
رده :
QA76
.
76
.
P37
T73
2011
2494. Transactions on pattern languages of programming IV /
پدیدآورنده : James Noble, Ralph Johnson, Uwe Zdun, Eugene Wallingford (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Programming languages (Electronic computers),Software patterns.,Programming languages (Electronic computers),Software patterns.
رده :
QA76
.
76
.
P37
2495. Tree automata and languages
پدیدآورنده : edited by Maurice Nivat, Andreas Podelski
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Sequential machine theory,، Trees )Graph theory(,، Programming languages )Electronic computers(
رده :
QA
267
.
5
.
S4
T74
1992
2496. Trees in Algebra and Programming - CAAP '96 :
پدیدآورنده : edited by Hélène Kirchner.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programming.,Computer science.,Programming languages (Electronic computers)
رده :
QA166
.
2
E358
1996
2497. Trends in functional programming :
پدیدآورنده : edited by Meng Wang, Scott Owens.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Computer architecture.,Computer programming-- software development.,Computer programming.,Computer science.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Operating Systems-- General.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Computers, Special purpose.,Expert systems-- knowledge-based systems.,Operating systems (Computers),Operating systems.,Programming & scripting languages: general.,Programming languages (Electronic computers),Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
62
2498. Truth, deduction, and computation
پدیدآورنده : / R.E. Davis
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Programming languages (Electronic computers)- Semantics,Logic, Symbolic and mathematical,Electronic data processing
رده :
QA76
.
7
.
D386
1989
2499. Turbo C++ suite.
پدیدآورنده :
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Application software.,Compilers (Computer programs),Programming languages (Electronic computers)
رده :
QA76
.
73
.
C153
T873
1998
2500. Turbo Pascal
پدیدآورنده : / [computer file]
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Object-oriented programming (Computer science), Software,Compilers (Computer programs), Software,Programming languages (Electronic computers), Software
رده :
QA76
,.
73
.
P21
1990
